UniTesK Test Suite Architecture
نویسندگان
چکیده
The article presents the main components of the test suite architecture underlying UniTesK specification based automated test development technology, a powerful test development technology for use in industrial testing of general purpose software. The architecture presented contains such elements as automatically generated oracles, components to monitor formally defined test coverage criteria, and test scenario specifications for test sequence generation with the help of automata based testing mechanism. This work stems from the ISP RAS results of academic research and 7-year experience in industrial application of formal testing techniques [1].
منابع مشابه
Test suite development for conformance testing of email protocols
The method for testing electronic mail protocols in the Internet to conform to the standards based on formal specifications is presented. The method is based on automated testing technology UniTESK in which functional requirements are formalized as preand postconditions and test sequence is generated on-the-fly from finite state machine (test state machine) traversal. The method is illustrated ...
متن کاملTesting AJAX functionality with UniTESK
AJAX (Asynchronous JavaScript and XML) is a very promising technology for building interactive web applications. At the same time, AJAX significantly complicates the development of the client side of web applications. The paper demonstrates the possibility of utilizing the UniTESK test development technology for testing the client side functionality of AJAX web applications. Using UniTESK, test...
متن کاملUniTesK: Model Based Testing in Industrial Practice
The article presents UniTesK technology, an automated model based test construction method for use in industrial testing of general-purpose software. The approach presented includes automatic generation of test oracles from software contracts, coverage driven test sequence generation, test artifacts reuse. This work stems from the ISP RAS results of academic research and 10-years experience in ...
متن کاملMulti-paradigm Models as Source for Automated Test Construction
The article discusses problems of model based test construction and ways of their solution using different kinds of models (operational, contract, axiomatic, and historybased specifications). The main idea is that the integration of model based techniques having different underlying formalisms can give valuable practical results in test construction. The idea is illustrated by successful applic...
متن کاملUniTESK: Component Model Based Testing
UniTESK is a testing technology based on formal models or formal specifications of requirements to the behavior of software and hardware components. The most significant applications of UniTESK in industrial projects are described, the experience is summarized, and the prospective directions to the Component Model Based Testing development are estimated.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002